Better management of Ceylon declarations implemented in Java
This fixes the problems when trying to navigate to the ceylon code of a
top-level object or method implemented in Java.
Don't lazily typecheck Ceylon binary declarations only to check that
they have a ceylon source file. Now we use the JDTModule quick builtin
function to know if there is a Ceylon file corresponding the Java file
in the case of native declarations implemented in Java.