Adding favicon
Added a filter for local events
Fixed Github banner z-index
Added undo/redo buttons
Removed dependency from devsite CSS for top bar.
Remove page reload after creating/loading a file now the URL uses hash Fragement and HTML5 URL re-write when available.
Also  moved afterAuth trigger to the options object.
Added support for opening multiple files at the same time.
Adding the Image for checkboxes
Added support for Reference Shifted events on the collab String.
Making sure that new local events get hidden if the checkbox is already checked.
Text and JSDoc fixes
UI Performance improvement

Stop looping on log entries to set their width, this is slow and not
needed anymore given CSS styling.
Fixing Z-index issue where the picker was kept hidden behind the leftpanel.
Fixing some bug that happened when we refactored the JS Wrapper.
Support multiple File IDs for the Sharing dialog (NOTE: the Playground does not support opening multiple files anyways)
Fixing typo
Forgot to change the URL param from fileId to FileIds
Merge branch 'google'

Conflicts:
	src/main/webapp/index.html
	src/main/webapp/js/realtime-client-utils.js
	src/main/webapp/js/rtpg.js
	src/main/webapp/js/rtpg.log.js
	src/main/webapp/js/rtpg.string.js