Set DBLATEX_OPTS to -P 'filename.as.url=0' (fixes #7486)

Apparently this fixes the build with dblatex 0.3.4.
Fix bug in External Core pretty printer (fixes Trac #7547)

This bug was making GHC loop when printing external core from test T7239.
Fix build for 7.6 branch