Split agda2atp and some tools