SPARK POGS: List the rules used by the Simplifier

[Phil Thornley <phil.jpthornley@gmail.com>]

The POGS tool in the SPARK GPL toolset summarises the state of the
proofs for a program.  But it is not easy to determine which user
rules have/have not been used by the Simplifier.

I have made a modified POGS that lists the rules used by the
Simplifier as part of the summary output so, instead of just the list
of rule files, it prints the following:

D:\SPARK\ordered_list2\ordered_lists\ordered_lists.rlu
  ordered_user(1)    ordered_user(6)    ordered_user(10)
  ordered_user(2)    ordered_user(7)    ordered_user(11)
  ordered_user(3)    ordered_user(8)    ordered_user(12)
  ordered_user(4)    ordered_user(9)    ordered_user(13)
  ordered_user(5)

D:\SPARK\ordered_list2\ordered_lists\delete.rlu
  delete_user(1)
  delete_user(2)

D:\SPARK\ordered_list2\ordered_lists\initialize.rlu
  init_user(1)   init_user(4)   init_user(7)
  init_user(2)   init_user(5)   init_user(8)
  init_user(3)   init_user(6)   init_user(9)

http://www.sparksure.com/resources/POGSRuleList.zip is an archive with
the new and modified files as well as a Windows executable.

http://www.sparksure.com/resources/pogsrulelist.patch is a patch file
(created by git).

Cheers,

Phil