Scripting fun - removing unneeded headers from source code

[Pavel Sanda]

hi,

if there is somebody who would like to contribute to lyx and like to tackle 
with some
python/bash scripting, consider fixing the bug 
http://www.lyx.org/trac/ticket/6305 .

pavel