* Add Microsoft SEAL as a new port * Fix to choose either static or shared binaries * Fix to fail port install on Windows platforms * Fix to enable a command line build on windows * Fix to fail port install on UWP