Added history.py, a tool for storing and loading command history
	None of the program has been modified to use it yet