Support patch versioning
Moved patch initialization into class
Fixed several bugs and typos
Sort patches, and list them on mainpage
Added draft template for index page
Use template in file
index: named labels for checkboxes
Support "default-true" bool options
Template: reworked form and added global description
Added static script, included jquery
Use definite jinja version
Fixed js libs, added js code, etc
Split patches code to different template; dynamical query
Implemented querying
Full support for dynamic loading of patch list
Load patch options (wip)
Template for patch options; description
Implemented options loading
Preserve \n's in patch descriptions
... and in options description