The default is to build the trainee manual. The Makefile takes care of building the trainer manual
Fixed compilation errors, made some source code reformatting changes, make some changes regarding the final PDF layout of some sections.
Use a branch-specific Travi-CI badge