Add some useful docker tools/aliases.

- download/refresh all standard radial images
- start temporary and "admin" docker containers
- remove stale keys in "known_hosts" easily