Move mypy/codec/example.py to samples/codec/example.py

The custom coding was causing all kinds of trouble during installation.