Merge branch 'develop' into poc-7+
Merge branch 'develop' into poc-7+
Merge branch 'develop' into poc-7+
Merge branch 'develop' into poc-7+
Merge branch 'develop' into poc-7+
Merge branch 'develop' into poc-7+
Merge branch 'develop' into poc-7+
Blocktime targets 12s.
Versions bump.
Documentation, repotting.
Merge branch 'develop' of github.com:ethereum/cpp-ethereum into develop
Use new lead() API.
Kill unneeded rubbish. Add docs.
Allow nice names from JS.
SHA-3 hashing to web3.
Merge branch 'develop' of github.com:ethereum/cpp-ethereum into develop
Merge branch 'poc-7+' into develop
Fixed #683
Fixups for API changes.