A development environment for Querycasts students