Use minted for python listings in latex. Add requirements file (for running theorest on Linux Mint 15). Add missing doctrines symlink in philemon