* generic_platform.py: add a finalize() method

... to add e.g. timing constraints after the other modules have
had their say and when the signal names are known
add Avnet Spartan6 LX9 Micrboard platform
remove spartan3 stuff
merge