eth: hard disconnect if a peer is flaky

ethdb, common: cache removal

cmd/geth: expand admin.progress() to something meaningful

Miner time fix

cmd/geth: exit the console cleanly when interrupted

Update ValidateHeader comments

* Miner should no longer generate blocks with a time stamp less or equal
than it's parent.
* Future blocks are no longer processed and queued directly.
  Closes #1118

miner: log locally mined blocks after they are 5-deep in the chain

Revert "core: block.gasLimit - parent.gasLimit <= parent.gasLimit / G…

This reverts commit be2b0501.

if you track stale blocks, then you quickly overflow your ring buffer in the local network case where you're mining every block and generating a lot of stales.

core: block.gasLimit - parent.gasLimit <= parent.gasLimit / GasLimitB…

core: block database version update

This fix applies mostly to unsupported terminals that do not trigger the
special interrupt handling in liner. Supported terminals were covered
because liner.Prompt returns an error if Ctrl-C is pressed.

Fine tune seeder and p2p peer handling

core: check negative value transactions. Closes #1109

jsre: fixes for concurrent use, improved timer handling

common/compiler: compile solidity contracts with std library

eth/downloader: silence "Added N blocks from..." if N == 0