Linux Driver Verification

In fixing bug #945 I noticed that nowadays the intellectual function bodies closing (i.e. function bodies that doesn't contain any model function call is automatically hidden) is completely implemented as a javascript. While its implementation both at the page generation level (there we already know whether a given function body contains model function call) and as a simple javascipt will be more efficient since there won't be traversing of all function bodies elements each time when the corresponding flag will be turn on/off. Instead just function headers that will contain information of its function model calls will be examined.
Just to mention, the issue doesn't considerably affect on anything.