travis: downgrade boost (newer version seems broken)