Fixed github urls to our repository and Travis-CI