Add SAL generator

This adds the SAL generator developed during my time at SRI. It also moves around the EventB walker geneator so the SAL code can use it.