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

...mentation update.