clearer PHONY
optimize makefile to not rebuild on every make all (fix #4)
don't xref on make all
move executable to proper folder
fix conversion badmatch
fix comparison
add progress callback for long scenarios
set exit status code
fix exit code for non-fail situations (timeouts)
style
add status progress
add localtime to progress report
remove redundant fun
add 17.3 to travis
use default travis notifications
update travis links
fix missing progressfun
nicer exit
Merge remote-tracking branch 'upstream/develop' into set_matching