Merge branch 'bugfix/andre/test-as-internal-plugin' into 'master'

[e-acsl-gcc.sh] search META also in internal plugins directory

When E-ACSL is not installed as an external plug-in, the META file is only found in the `lib/plugins` directory, so we must look for it there.

See merge request !52