bump version to 1.13.1dev
don't tweak easyconfigs if they were generated
fix comment
Merge pull request #942 from boegel/fix_generate

don't tweak easyconfigs if they were generated
Merge branch 'v1.13.x' into develop

Conflicts:
	easybuild/tools/version.py