frenetic: Update required and optional dependencies.

dprle and lwt are no longer dependencies, so remove them. For building the quickcheck and async subpackages, add the libraries of the same name as depopts.