Remove application.proprties from repo.

After the third time I've accidentally deleted by application settings,
I've decided that it's safer not to check them in at all than to
use git update-index --assume-unchanged.