Remove unnecessary components of MinaTest (especially .o_save which takes a huge space in the repo) --kazu