CRA-534: updated CRAVA user manual.
Merge pull request #78 from gudmund-hermansen/master

CRA-534: updated CRAVA user manual.