Update of makefile
Added test laucher for lustre generation
Continue even if generation fails
Makefile update for new version of lustrei with command line parameters
Added tests for vhdl import and export (pp)