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)).