Python script for comparing spike outputs (#321)

A small script to compare files containing (gid, time) pairs. The list do not have to be sorted in time or gid order.
A details error is displayed on differences.