Has anybody messed with the witchcraft-workshp setup stuff to get it in a docker image?

Don't think so. This has been discussed elsewhere at length but there's usually limited benefit of having jvm dev stuff wrapped in a container.

I'm also not sure if it would violate the Mojang ToS or not.