moved terms in development directory to main #287

Job	Run time
call-sumo-check-workflow / derive_docker	1s
call-sumo-check-workflow / build_sumo_tptp	5m 48s
call-sumo-check-workflow / run_vampire	13s
	6m 2s

Provide feedback