output to out.txt and instead use std::cout for things meant for the
runner of the program; various minor cleanup thingies