Use Pipenv for managing virtual environment and pip dependencies

[Dimitris Gravanis]

See https://pipenv.readthedocs.io/en/latest/