Revert "Changing the package name to `ch.epfl`."

This reverts commit 1116eb024849b6bc41987e027bc7ae567c36a9a1.

Conflicts:

	common/src/main/scala/records/VampireMacros.scala