changes
make sure it works!
Merge branch 'master' of https://github.com/lenzinho/Tevatron

Conflicts:
	src/constants.mod
deleted constants
Merge branch 'master' of https://github.com/lenzinho/Tevatron