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