Better precision for nanotime.
main is now in the runtime library and Harlan programs instead implement harlan_main.

Related to issue #101 and issue #92.