file.name.from.url: Extract the file name from some URL
Description
Gets a character of link to some file, and returns the name
of the file in this link.
Usage
file.name.from.url(URL)
Arguments
URL
Some url to a file.
Value
The name of the file in the URL
Details
The install.packages.zip must use this function, since it
is crucial that the name of the file into which the ZIPPED
package is downloaded to the computer, will have the same
name as the file which is online.