Add Windows powershell support with scoop package manager

Allow make file to be used on Windows Powershell.

Require scoop (https://scoop.sh/) and install the following:

scoop install make zip coq busybox

Tested all target (coq, clean, admit, package) on Windows 10.