mosquitto: only ever build binaries

This makes it easier to build pre-release snapshots, and stops make from
even _checking_ whether the docs need to be built.
mosquitto: Bump to version 1.3

This adds a dependency, c-ares, for async dns resolution.
mosquitto: Bump to 1.3.1