nginx 1.2.7

(also update devel to 1.3.12)