added mini standard library, "from time import time" inserts javascript wrapper to "new Date().getTime()"