Continuous integration for web-based software infrastructures: lessons learned on the webinos project