skulpt.js improvements.
change new name of builtin to skulpt-stdlib and linemap file to skulpt-linemap.txt
Merge pull request #139 from bnmnetp/master

Improvements to skulpt.py from David