Packaging metadata for probcomp software

Organized by software distribution repository:

• docker is some stuff for distributing as Docker containers
• jenkins is for our internal Jenkins server on probcomp-4
• osx is for Mac OS
• pypi is for PyPI, the pip package repository
• ubuntu is for the Ubuntu apt package repositories

Each section has its own documentation.