update generated docs for kerenl v3.16.1-7-ev3dev release
Add 'quick nav' search box and associated results drop-down
Fix browser-specific CSS alignment error and add search delay
fix categories