rename General/Preamble to avoid conflict with ghc-hetmet

diff --git a/src/General.v b/src/General.v-
similarity index 100%
rename from src/General.v
rename to src/General.v-

diff --git a/src/Preamble.v b/src/Preamble.v-
similarity index 100%
rename from src/Preamble.v
rename to src/Preamble.v-