Fix buchner requirement

Since buchner isn't in PyPI, we need to use a git url.