Updated the README so it contains instructions on compiling and running the reasoner