destructor of PajeDefinitions
delete decoder
fix size of event definition vector
remove paje_line from PajeTraceEvent
make pajeEventDefinition of PajeTraceEvent private
fix flex/bison parser for paje trace files
Merge branch 'master' of github.com:schnorr/pajeng
free memory