given config.ini, do we need these?
ignore my ide files
replace jquery with source for easier breakpoints
minimal change to schema
some null value checks
ensure code runs after doc loading
whitespace
fix filter button
fix selector width so big revisions do not break UI
return files
whitespace only fixes
do not indent script tags
Merge branch 'master' into integrate

Conflicts:
	server.py
use getElementById instead
Merge pull request #66 from klahnakoski/integrate

Integrate
Pull of latest changes
Merge pull request #70 from kaustabh/master

Pull of latest changes for generating the list of conflicting bugs
Optimisations
Optimisations
Removed filtering from bug_conflict.html
Removed filtering from bug_conflict.html
Merge pull request #71 from kaustabh/master

Optimisation techniques applied
forgot server.py
Added a new table