A simple GUI patcher for DIFF files