A tensor algebra calculator for General Relativity