Bump Debian to 7.3

Debian 7.3 was released officially today. :)