Fix #17: Use Javascript timestamps internally everywhere, since this is cross-platform