Build and continuous integration (jenkins) for Linux