Mini boot

Merge mini-boot into master (for faster downloads, astyle etc)