Remove "Restart"/"Undo"-Warnings

Remove these warnings caused by Restart. or Undo. for example:

Warning:
Command Restart. is not recommended in batch mode. In particular, going back in the document is not efficient in batch mode due to Coq not caching previous states for memory optimization reasons. If your use is intentional, you may want to disable this warning and pass the "-async-proofs-cache force" option to Coq.
[undo-batch-mode,non-interactive]

The whole project is intended to be interactive, so this should be a good idea to turn them off.

This should be doable using -async-proofs-cache force.