Made builder a little smarter:

- only build images in case it is really necessary, that is, in case
  the Git repository has incoming changes, or the Docker image is out
  of date;
- added an update command to automatically update (rebuild) all
  previously build images.