use mirrors in travis script
Option to download libint binary (for linux)