fixed the phpext_phalcon downloads (they added the PHP patch level to their downloads).
and removed 1.3.1, 1.3.2 as they keep deleting their old versions, which is odd.