history: Cristal was discontinued; developpment is done at Gallium
history: Fixing typos
Merge pull request #118 from nbraud/master

Fixing history