Feature/docs list page#1287

yuricampolongo wants to merge 2 commits intogitblit-org:mastergitblit-org/gitblit:masterfrom

yuricampolongo:feature/DocsListPageyuricampolongo/gitblit:feature/DocsListPageCopy head branch name to clipboard