Add instructions on how to automatically generate `.eco` or `.qlf` files when using, respectively, ECLiPSe or SWI-Prolog as the backend compilers