coq: 8.4pl4 -> 8.4pl5
emacs24Macport: allow installing either 24.3 or 24.4
ffmpeg: 2.4.2 -> 2.4.3
steam: update 1.0.0.48 -> 1.0.0.49