Extend 'makePDF.py' to also accept the file extension '.tikz'. It is now easy to extend the list of accepted file extensions by simply extending the string.