Fix issue #38: drop pyeda package imports

Previously, you would type this:

    >>> from pyeda import *

Now, you will type this:

    >>> from pyeda.inter import *
Bump up DIMACS coverage