Bug#792612: frama-c: please provide package w/o gui & gui dependencies

[frama-c-bug@discard.email]

Source: frama-c
Version: 20140301+neon+dfsg-3
Severity: wishlist
 
According to the INSTALL document in the frama-c source distribution,
the GTK GUI and the associated dependencies are optional.
However, in Debian both the frama-c and the frama-c-base package
depend on the liblablgtk* packages.
 
Please provide a version of the frama-c package without the GTK GUI,
and without its associated dependencies.