If the given location is a file rather than directory, source it.

This adds a new simple new feature -- if the location given is a file rather than a directory, source the file rather than doing nothing.  It will allow people to source individual files from git repositories if they don't want any other part of it.  It's a good feature.