Better Dockerfile.

- Just install from PyPI.
- Pin versions and hashes.
- Use hashin to generate requirements.txt.
- Add Pipfile scripts entry to update requirements.txt.