Initial database manager contracts.
Minor changes to terminology.
Merge branch 'initial_database_contracts' of github.com:isupeene/connect4 into initial_database_contracts
Modified contracts to account for deleting save files when they are loaded.
Fixed syntax error.
Merge pull request #16 from isupeene/initial_database_contracts

Initial database manager contracts.