Build.md

To build the extension, the custom Alloy JAR must be present in the extension directory.

The source code for the custom JAR is here: https://github.com/s-arash/org.alloytools.alloy/tree/ls.