Remove whitespace for :addproof - like :load does

This should probably happen for all commands which take a filename.
Merge pull request #1115 from puffnfresh/bug-fixes

Remove whitespace for :addproof - like :load does