Add the missing build.sbt file used for building easily the RPM and documentation update.