Encyclopedia changes

[stared]

A few bigger changes in the encyclopedia:

• now it takes data from https://github.com/Quantum-Game/qg-encyclopedia/ (using git submodule)
• ...and there are more non-zero entries
• fixed many things with pre-processing data
• article style with all sections open (there were issues with images before)
• a few fixes with data processor (including more lines for short, and cases with no boards)
• transition matrix section in the same style as sections
• listing a few properties of the matrix

[stared]

I had to make changes for Travis CI to be able to use submodules:

• https://stackoverflow.com/questions/15674064/how-to-fix-a-permission-denied-publickey-error-for-a-git-submodule-update-in-t