Renamed bsubst to update (as it is in v4T). Moved a few definitions/theorems to better homes.
examples/elliptic/arm -> examples/ARM/v4 examples/arm6 -> examples/ARM/arm6-verification