usermanual: add entries to .gitignore for ps, etc