update generated docs for kerenl v3.16.1-7-ev3dev release
Add 'quick nav' search box and associated results drop-down