ghcide-1.0.0.0: The core of an IDE