Update build file and add new dev tools for the continuous integration
Merge branch 'v3-dev' of https://github.com/WebTales/rubedo into v3-dev