renamed Restart PVSio button into Compile -- should be more intuitive for non-experts of pvs