add more editors to Dockerfiles for user preference