update nix-shell; fix java version for sbt

[gvolpe]

I forked the project to finally add support for CE3 only to realize it's already been done! So at the very least, here's a humble PR to fix the JDK version for sbt and update the nix-shell in general.