Using docker will result in faster build times, as well as faster build *start* times.

Also updated documentation and Make in order to accommodate local development as opposed
to Travis.