Outdated frontend JSON reports

[saahil]

Update frontend JSON for all programs after adding attributes.

Preferably automatically.

[saahil]

Works out of the box for -

• [ ] BlueZ
• [ ] Autotrace
• [x] GraphicsMagick
• [x] Icoutils
• [ ] ImageMagick
• [ ] Jasper 1.900
• [ ] Jasper 2.0
• [ ] Libarchive
• [ ] Libass
• [ ] Libmad
• [ ] Libsndfile
• [ ] Libxml2
• [ ] Lrzip
• [ ] Openslp
• [ ] Potrace
• [ ] Rzip
• [ ] Tcpdump
• [ ] Tif Difread
• [ ] Virglrenderer
• [ ] Ytnef

[saahil]

Need to supply the program home_directory as include path and the exact subdirectory containing the C file for parsing Klee .ptr.err file.