diked out bolttools into a separate repository
bolttools takes care of ignored files itself
updated bolttools

new revision has proper .gitignore now
readded a subtree to gui ordered by standard
new revision of bolttools

this includes generation of a contributor list and improved tests
regenerated html