Developer environment that has all the software necessary to "compile -> deploy -> run" Mina ZKApps