travis: use boost 1.53