fix bug 871638 - fix list for dupe named tags

some tag names evaluate as equal between ascii & non-ascii representations
Remove old hostname in installation-vagrant.rst
Merge pull request #1128 from openjck/vagrant-hostname

Remove old hostname in installation-vagrant.rst
Merge pull request #1127 from groovecoder/multiple-objects-tags-871638

fix bug 871638 - fix list for dupe named tags
fix bug 875780 - Prevent empty docs from bombing requests
Merge pull request #1129 from darkwing/empty-document-sections-875780

fix bug 875780 - Prevent empty docs from bombing requests
Update docs landing links
Help remove first slash in page moves
Merge pull request #1133 from darkwing/docs-links

Update docs landing links
Merge pull request #1134 from darkwing/move-helper-js

Help remove first slash in page moves
fix bug 876020 - Modify dev derby landing
Merge pull request #1131 from darkwing/dev-derby-876020

fix bug 876020 - Modify dev derby landing
Update devderby link href
Merge pull request #1135 from darkwing/derby-update

Update devderby link href
bug 877374 - add tags to ES index and results
Merge pull request #1137 from groovecoder/elastic-tags-877374

bug 877374 - add tags to ES index and results
Search front-end enhancements
Merge pull request #1139 from darkwing/search-tag-styles

Add basic tag styling for search
bug 875349: Build JSON metadata for Documents at rendering time
Merge pull request #1138 from lmorchard/875349-document-json-on-save

bug 875349: Build JSON metadata for Documents at rendering time