install libsbml from pre-compiled tar.gz in travis

Now libsbml installs much faster since it does not need to compile, which reduces travis test time.