Fixes BH-378
Merge branch 'translation' of https://github.com/PerceptumNL/KhanLatest into translation
Merge branch 'translation' of https://github.com/PerceptumNL/KhanLatest into translation
proofs.js huge file. need translation
Merge branch 'translation' of https://github.com/PerceptumNL/KhanLatest into translation