Times New Roman

Changed the default font to something equivalent to Times New Roman,
which most teachers and professors will expect.