Added support for Microsemi Libero SoC

See merge request !6

libero.exe (in Windows world) refuses to load a TCL script when it is called in the way ../libero.exe SCRIPT: project.tcl; The problem is the whitespace there, so ../libero.exe SCRIPT:project.tcl works fine.

Fix #100

They are now handled separately, as they aren't source files.