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.
Release: Update version info
Release: Fix bug in Lite version
Add `build.xml` for appcompat library
Merge pull request #209 from codeguru42/release

Release