#26 deploy.js and devel.js load sets

Originally at 2014-09-09T19:35:45Z by Herbert Vojčík closed at 2014-09-12T19:35:57Z (pull request) In index.html, now only 'devel' or 'deploy' is loaded. New package should be added to deploy.js, new dev-only package to devel.js.