more examples for 'docker pull' and 'docker ps'