Delete dead method and unused constructor.
Annotate overridden methods.

Closes #394
Small refactorings of HtmlUtils.java

Reduce scope of some variables, add @Override annotations, etc.
Closes #403
Add empty lines between constant variables
Remove unused ci profile that used deleted plugin
Set release to true in release profile
Prepare 1.7.2 release
Bump versionCode for 1.7.2 release
Prepare 1.7.3 release
Fix typo in Greek translation.

Closes #424
Update slovak locale

Closes #431
source-editor.js: add missing semicolon.
Update README.md.

Add title to the Google play image and use code syntax where applicable.
Whitespace normalization.

Use spaces consistently and trim trailing spaces.
Closes #425
Fix xml formatting in login.xml
Losslessly compress png files.

Savings approximately -110KB.
Closes #426
Do not show 'Edit' and 'Close' issues menu to non-collaborators

Refs #413
Non-collaborator restrictions on browsing issues.

Non-collaborators are not allowed to change
assignee/milestones/labels when browsing issues.
Refs #413
Override annotations in onClick()
Non-collaborator restrictions in EditIssueActivity

Made it so that issue administration options only show up
if the user is a collaborator on this repository
Closes #419