#185: pull .gitignore changes from pocketsphinx

Resolves #185.