Removed generated files
Merge branch 'master' of https://github.com/cwi-swat/string-origins

Conflicts:
	src/input/missgrant.origins
Merge branch 'master' of https://pinoval@github.com/cwi-swat/string-origins.git
Merge branch 'master' of https://github.com/cwi-swat/string-origins
Merge branch 'master' of https://pinoval@github.com/cwi-swat/string-origins.git
Merge branch 'master' of https://pinoval@github.com/cwi-swat/string-origins.git
Merge branch 'master' of https://github.com/cwi-swat/string-origins
Merge branch 'master' of https://github.com/cwi-swat/string-origins
Merge branch 'master' of https://github.com/cwi-swat/string-origins
Fixed bugs in reimplementation of editable regions (aligned with the
paper).