Updating BURLAP

Updates have been made to make sure Sokoban has the necessary updated
files to run the simulation.