adding support for Libero SOC

I'm adding support for Microsemi's Libero SOC. I expect that other users will want to modify this, but this is what works well for me.
Merge pull request #95 from kjgregory/master

adding support for Libero SOC