Gravar-mail: Computation of conservation laws in optimal control