Improve behavior and style of GitHub issues

Also timezone fixes for naive/lagging dates; improved layout for
issues with "flattened" comments; more functionality for adding issues
and comments.