Change content from laser turtle to crafty turtle

This version of the turtle sandbox is not so much about laser turtles anymore.
Laser Turtle and turtle-svg have been replaced by Crafty Turtle and
TurtleCraft where appropriate.

* change the app name in various places
* new banner in the help section
* link to the turtlecraft github repo in the help section