Build and push docker images to docker hub #236
Description
To save time for a tutorial user, we can build them on travis and push them to docker hub.
{{ message }}
To save time for a tutorial user, we can build them on travis and push them to docker hub.