Release v1.4.0

Tag *Release v1.4.0 - 14 June 2013* will be pushed upstream when merged: