Compare dev with master

This PR compares dev with master and shows the results of Travis CI and Jenkins