History class

Moved all history information into a different class. Each
CNFSatInstance now has a History variable