bumped version to 0.7.1, see cwi-swat/rascal#253