Fix MainWindow coding style
Standardize BookDock's coding style
[FormulaBook] Remove browser buttons

Pages will have inlined links to the sections above it.
Navigation with keyboard (Alt+Left/Right) is still available.
[FormulaBook] Full refactoring, no more external files

The formula book is now built on-the-fly by the application (C++/Qt-land).
This simplifies deploying, since there are no more external files to package.
It also simplifies the translation process, since all translatable strings are
now included in the TS files, removing the need for separate POs used until now.
Pages are now described using a set of simple macros that translate to HTML.
Their design has also been significantly improved.

Notes:
1) For page construction efficiency, the build now requires Qt 4.8 and its
QT_USE_QSTRINGBUILDER config option.

2) Book navigation with keyboard (Alt+Left/Right) is not available anymore.
Links to the upper sections are provided in-page instead.
[FormulaBook] Remove obsolete 'book' folder