Major update, including loading traces from a file, error checking, debug messages, an example trace, improved makefile, etc.