fixed non-critical bug in exact match for double indices
Merge branch 'master' of https://ruehle@github.com/js850/PyGMIN.git