Better implementation for ``Needs``, ``BeginPackage`` and ``$Packages``

[mmatera]

These fixes are necessary for PR #995.

Needs do not properly handle to check that a package was already loaded. This is a problem for packages loaded from an URL, since the name of the package usually does not match with the file.