Remove whitespace for :addproof - like :load does

This should probably happen for all commands which take a filename.