Option for automatic proof locking upon deadline without using stages

[#1]

It would be great if there was an option to have a proof automatically lock itself upon reaching the set deadline, without having to use the stages option. Stages are not possible in our workflow. This was an option that we heavily relied upon when Proof HQ was a standalone program.