Add a property that allows you to specify how long 7Zip should take

This means that if it takes more than the allocated time, either the
database is now getting large OR there is a bug and it's compressing the
wrong thing. However, it wouldn't catch the error if it's the wrong
thing and takes less than three minutes.