change name stack to store and add author information
make minor change to alignment
Run examiner before run kiasan
empty SIFL
Added 'all' cases to cases dropdown
Kiasan V2: translation from gtk2 to Gtk3 - alpha(not working)
Added get_marked_area and highlight_area functions to gpshelper (for
Alir)
Added description to get_marked_area and highlight_are functions.
Fixed file_name in highlight_area.
Run Kiasan by key (CTRL+K) in Sireum V1.
KiasanV1 plugin: package name fix