Implement range selection on document list
Remove Clippy.

This reverts commit b16594806aca699d64fc9715255b066e4dbc8b03.

Conflicts:
	index.html
Remove glyphicons (we've since moved to a custom fontello font)