Added Metrics class to keep track of runtimes and number of nodes
enumerated by A* tree. Added a flag to save the latest pruned version of
the energy matrix. Changed the ASLP heuristic to only use one thread. I
got permission to store the actual gurobi.jar library in the repository
so I am updating that.