Add timestamp callback.

Add a method in our wrapper library to generate
timestamps and convert to peano numbers for use in
the extracted core erlang code.