Update README.md

Added info about commands to build and run the solver and visualize the output