cabal: Loosen containers version requirements.
cabal: Build hsprolog in top-level cabal.

That is make it both library and executable in one cabal expression.