What is the prevalent IDE in Linux, is there one?