Debian pin fix

As noted in issue #82, the Debian instructions result in an unintentional upgrade to Debian unstable. This patch adds the pinning step necessary so that only the fsharp packages will be installed from unstable.