[Eva] New module Private, used internally but not exported in Eva.mli.

The Eva gui and optional domains (numerors and apron) are compiled separately
from the Eva core. The Private module is used to give them access to the
internal Eva modules they need.