Merge branch 'dev'
New subcommand: 'issues' lists all open issues, with optional filtering by assignee
Quick install instructions
Apply the Docker conventions to facilitate contribution.

* Create an AUTHORS file.
* Create a MAINTAINERS file.
* Mention all authors in copyright.
* Mention Michael as the original creator of the project.
Merge branch 'maintainers-authors' into dev

Conflicts:
	README.md
Merge branch 'issues' into dev