Documentation howto install
adding build* to gitignore
Merge branch 'master' into intrusive_tree