fix travis. added link to github mirror