Get rid of boost::date_time dependency

[peterfpeterson]

It looks like the code in prenexusrenderer can move to use ctime::strftime.

[quantumsteve]

Here's an interesting header-only alternative to boost::date_time.

https://github.com/HowardHinnant/date
https://howardhinnant.github.io/date/date.html