php.ini templating

This takes care of #23.