Platform: add properties for clocks
Base clocks are very board-specific; e.g., on ZedBoard the mem speed is 158 MHz, but on ZC706 it is 200 MHz. Need to pass the clock values to the Tcl script and add the clocks to the status core (see #53 (closed)).
To upload designs, you'll need to enable LFS. More information