Append a random SHA to Docker image if dirty. (#805)
Append a random SHA to Docker image if dirty. (#805)

* Append a random SHA if dirty.
allenai/allennlp,allenai/allennlp,allenai/allennlp,allenai/allennlp