Use AM_CPPFLAGS in src/torx
Use AM_CPPFLAGS in src/torx

Allows easier overriding of TORX_CPPFLAGS from
the command line

Note that order of -I options matters here because mcrl also has
stringindex.h

lordqwerty/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,thedobs/LTSmin,thedobs/LTSmin,buschko/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,Meijuh/ltsmin,Sybe/composition,alaarman/ltsmin,lordqwerty/ltsmin,trolando/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,Sybe/composition,buschko/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,buschko/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,alaarman/ltsmin,trolando/ltsmin,Sybe/composition,alaarman/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,Sybe/composition,trolando/ltsmin,vbloemen/ltsmin