replace the header by a newly created MoreToolbar
Merge branch 'master' of https://github.com/janthiemen/nisi
see last commit
deleted some stuff
some more
moved readme, etc