Level toolboxes

This pull request makes use of the toolbox's ability to not allow certain types of platforms to be placed.

Each level has a toolbox-types attribute that specifies what types of platforms the user may place, and the LevelLoader now reads this attribute.

I wasn't very creative with that gameplay mechanic, though :p