gui: Use ASC as internal symbol table format

Signed-off-by: Michael Buesch <m@bues.ch>