I gave up on using any integrated development environments. This commit removes files which are no longer needed in my new workflow.