Gravar-mail: Scientific computation of conservation laws in the calculus of variations and optimal control