Move third party software to "thirdparty" directory

[cjdrake]

Currently, the extension directory has source code that is licensed differently than PyEDA. New tree should look something like this:

extension/
    boolexpr/
        ...
pyeda/
    ...
thirdparty/
    espresso/
        ...
    picosat/
        ...