Makefile, introducing latexmk and wildcards

* all: using latexmk to produce the PDF
* clean: for removing tmp files
* distclean: to get rid of everything
* show: build pdf and open it
* cont: continuous build mode, very handy
* export: directory is proposal-export now