deb: depends on any Java 7 JRE

Packages providing a Java7 JRE should provide java7-runtime-headless. As
a fallback, for people without any JRE installed, we install
openjdk-7-jre-headless.