(promela) First step of backend upgrade
(promela) All printers now uses the new architecture
(promela) Fix some NullPointerException at backend execution
(promela) Fix last generation issues
Contains all work done to upgrade promela backend to the new architecture