[e-acsl] remove unnecessary symbolic links

These symbolic links cause issues on Cygwin, and they are no longer needed
anway since Dune already copies the files to the right place.