Remove second #include <stdint.h> in util.h
Conditionally install packages on travis-CI