Add Pipfile for easier local setup
-rw-r--r-- 67 .gitignore
-rw-r--r-- 259 Pipfile
-rw-r--r-- 10039 Pipfile.lock
-rw-r--r-- 481 doc-requirements.txt
drwxr-xr-x - docs
drwxr-xr-x - tools