DrScala - A doctor for your code