make work through a proxy, added aux lib
added .gitignore (Emacs temporary files)