Add debian-7.3 instructions.