Reconcile store_thms with diverging names in db and val binding

Removed trailing whitespace from all .sml and .sig files.

This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!

Refine front-end outputs to be more consistent with Magnus's backend.

Modify the front-end to produce code mostly consistent with the following grammar
prefered by the back-end (except for the shifting operations):
let r range over register names (r0,r1,r2,etc), m range over memory locations (m0,m1,m2,etc),
f over function names, i over natural numbers (<32) and w over 8-bit word constants.

p ::= let r = exp in p
| let m = r in p
| let (v,v,...,v) = f (v,v,...,v) in p
| if g then p else p
| (v,v,...,v) | f (v,v,...,v)

v ::= r | m
g ::= ~ g | r cmp mode | r && mode = 0w
cmp ::= = | < | <+ | <= | <=+
exp ::= m | mode | ~ mode | r op mode | r * r
op ::= + | - | && | ?? | !!
mode ::= w | r | r << i | r >> i | r >>> i

Customize the front-end to produce code in a format the ARM backend needs

Main change:
Register allocation and recursive calls. The registers/memory
locations in all recursive calls have to be the same, e.g.

f(r0,r1) =
if .... then ... f(r0,r1)
else .... f (r0,r1)

This revision is suboptimal however.

A new test file "refined_format.sml" is added to illustrate the results

Updates at the front-end

wrap up compiler 2

Revisions, mainly to add machine words and their operations to the
source language.

Revised build so that system can be separately compiled. Also moved
test programs to separate directory.