[xilinxc]: Four different clocks are now supported: weblab, internal, switch and button. The compiler will choose the UCF for the appropriate one depending on whether a specific directive can be found or not.