added license header for sat #249
added license header for parser #249
added license header vdmtools #249
added license header to type checker #249
Detect spurious trailing tokens in flat specifications, fixes #352