make a more complete example of docker run, showing the use of most of the options (Closes #1500)