[e-acsl] change order of CPPFLAGS

Since CPPFLAGS are user-customizable (via '-e'), putting them after CFLAGS
allows users to override some default flags (e.g. -O2, -g).