Improve usability

• Makes the resolution and upper aggregation time limit parameters configurable via command line arguments.
• Adds inline documentation to the library and the various programs.
• Adds a cmp program to check if two time-dependent graphs are equal up to reordering of edges within snapshots.