Support Proposal headings in issues
support --dir and --extension in `pulls`
remove michael and add me to maintainers
Merge pull request #146 from erikh/add_erikh_to_maintainers

remove michael and add me to maintainers
Merge pull request #145 from erikh/dir_and_extension

support --dir and --extension in `pulls`
Merge pull request #142 from erikh/support_proposals

Support Proposal headings in issues
Support --cleanup for cleanup tasks in pull requests and `pulls`.