repoint Bundler to a HTTPS source
bundle up
CircuitDecomposer: add recoder support