Tagging trunk with unreleased 1.4-dev
Updating release instruction in some details.