Remove the Casa prefixes I previously introduced

I've decided they're redundant with the fact that the user can choose to
qualify all of the exported names with CasaCore if the namespace is too
cluttered (just write `import CasaCore` in place of `using CasaCore`).