installing openjdk 17 on binder

for https://discourse.jupyter.org/t/how-to-install-jdk-17-in-mybinder-org/13960/3

The apt.txt file in this repo is enough to tell repo2docker to install the packages with apt before starting the container.

This file could also be in the binder/ or .binder/ folder.