Remove files which should never have been in Git in the first place.
Remove files which should never have been in Git.
Merge commit 'a291374a230b89161691f890637b2896459c0afd' into develop: sets up merge point for master->develop merges.
Change name of boost::align so it doesn't clash with other stuff.
Remove obsolete #includes - reduces dependency burden.
Merge branch 'develop'