Rodin/Configure.h.in file

Header containing preprocessor directives for Rodin.