Added evaluation of how many satisfiable solutions were found

Added metric on number of satisfiable solutions found in Tabu Search.  Also updated saveas method.