Merge pull request ethereum#2532 from ethereum/develop

Merge develop to release for 0.4.13.

Merge pull request ethereum#2513 from ethereum/onlyPushIfSomethingToPush

Only push to bytecode repository if there is something to push.

Merge pull request ethereum#2219 from ethereum/develop

Release for version 0.4.11

Merge pull request ethereum#1782 from ethereum/develop

Solidity 0.4.10

Merge pull request ethereum#1622 from ethereum/develop

Solidity version 0.4.9

Merge pull request ethereum#1561 from ethereum/develop

Merge develop into release for 0.4.8

Merge remote-tracking branch 'origin/develop' into release

Merge pull request ethereum#1514 from ethereum/changelog

Update changelog for release.

Merge pull request ethereum#1514 from ethereum/changelog

Update changelog for release.

Merge pull request ethereum#1418 from ethereum/develop

Release 0.4.6