build: rename some build-time variables, for consistency

Before this change, the variables used for a build configured with the
prefix "/usr/local", and where Mono was installed in "/usr" were:

* $prefix               =>      /usr/local
* $libdir               =>      /usr/local/lib
* $monoprefix           =>      /usr
* $monorootdir          =>      /usr/lib
* $monodir              =>      /usr/lib/mono
* $monolibdir2          =>      /usr/lib/mono/2.0
* $monolibdir35         =>      /usr/lib/mono/3.5
* $monolibdir4          =>      /usr/lib/mono/4.0
* $monolibdir           =>      $monolibdir{2|35|4}

From now on, we'll have this naming which is a bit more consistent, and
allows to target the /mono/ subdirectory in the targeted prefix (as opposed
to the /mono/ directory in the prefix of the currently installed Mono):

* $prefix               =>      /usr/local
* $libdir               =>      /usr/local/lib
* $monoprefix           =>      /usr
* $monolibdir           =>      /usr/lib
* $monogacdir           =>      /usr/lib/mono
* $monogacdir20         =>      /usr/lib/mono/2.0
* $monogacdir35         =>      /usr/lib/mono/3.5
* $monogacdir40         =>      /usr/lib/mono/4.0
* $monogacdirXX         =>      $monogacdir{20|35|40}
* $gacdir               =>      /usr/local/lib/mono
* $gacdir20             =>      /usr/local/lib/mono/2.0
* $gacdir35             =>      /usr/local/lib/mono/3.5
* $gacdir40             =>      /usr/local/lib/mono/4.0
* $gacdirXX             =>      $gacdir{20|35|40}

This cleanup doesn't change behaviour, but improves the field, in
preparation for fixage of issue #154 "DESTDIR to be respected"
(next commit).
install: stop using current mono prefix to install, respect --prefix arg

Even if the $prefix arg seems completely wrong (as in, there is no mono
installation in that prefix):
- The scripts should respect it (because creating .deb packages involves
installing in sandboxed filesystem paths to extract only the relevant bits
installed by a tarball).
- Anyway there is already a warning printed by the configure.ac, just in
case who is compiling is a person instead of a buildbot.
- When compiling, proper mono libs of the existing current installation
will still be properly referenced, so building will still work.

This is done by using $gacdir variables instead of the $monogacdir ones
for the install Makefile targets (which reference /usr/local/lib/mono
instead of /usr/lib/mono, for the case of having mono installed in /usr
but choosing the /usr/local prefix).

This commit finishes DESTDIR support, to work outside of the box, for example
with a .deb package creator like fpm (see a sample script at
https://github.com/knocte/7digital-mono/blob/master/build-fsharp-package.bash ).
Merge pull request #159 from knocte/3.0.30

Proper DESTDIR support (very useful for making custom deb/rpm packages)
Fix build.bat on windows
Merge pull request #160 from ovatsus/master

Fix build.bat on windows
Fix build and installation on cygwin
fix build.bat
Partial fix for #163
remove incorrect installation directories
fix mistake in previous commit
Fix #172 - On Mono #I paths don't work for assembly references
Merge branch 'master' of https://github.com/ovatsus/fsharp into ovatsus-master

Conflicts:
	.gitattributes
Use Control-D for quit

On linux / unix based systems, control-D inserts an EOF which should be
read as quitting.
Merge pull request #174 from jpalmer/master

Use Control-D for quit
Fixed build.bat so it works correctly when the repository has been checked out into a folder whose name contains one or more spaces.
Merge pull request #178 from jack-pappas/build-bat-fix

Fixed build.bat so it works correctly under paths containing a space
Ignore the generated lexer/parser files for the Silverlight-based compiler.
Merge pull request #195 from jack-pappas/master

Ignore generated lexer/parser files for the Silverlight-based compiler.
install: avoid using DESTDIR in .Targets files

$DESTDIR is only meant to be a prefix to the prefix specified
by the user, at install time. That is, if the prefix specified
was /usr, and $DESTDIR is assigned the value /tmp when running
the target 'make install', then all the files installed should
be in /tmp/usr, but their contents should never reference this
temporal path /tmp/usr, but /usr, because DESTDIR is only
meant to be used as a hook to where leave the binaries generated
for a certain prefix.

Fixes github issue #204, reported by Henrik Feldt.