[E-ACSL] known bugs

src/plugins/e-acsl/known_bugs/bts1354_logical_at.i

src/plugins/e-acsl/known_bugs/bts1379_read_address.c

src/plugins/e-acsl/known_bugs/bts1386_complex_flowgraph.c

src/plugins/e-acsl/known_bugs/bts1392_ghost_extern.i

src/plugins/e-acsl/known_bugs/bts1395_recursive_function.i

src/plugins/e-acsl/known_bugs/bts1412.c

src/plugins/e-acsl/known_bugs/taking_address.i