Resume making timely releases

[Roman Leventov]

I suggest resuming making quarterly releases. 0.13 branch was created
between October 12 and 19, as far as I can see. Then 0.14 branch should be
created between 12 and 19 of January.