Issue #164: Change column header from "Number" to "#"
Merge pull request #204 from codeguru42/issue164-titles

Issue #164: Change column header from "Number" to "#"
Update `release.sh` script

Automatically pull devel branch from GitHub, merge with master, and tag
release commits.
Merge pull request #206 from codeguru42/release

Release