WARRANT AGREEMENT BETWEEN INSIGNIA SOLUTIONS PLC AND INTERNATIONAL BUSINESS MACHINES CORPORATION