changed the way include/version.h works: no more version.h.repo conflicts, and the PATCH is updated only when a devel build succeeds