Correctly align ARM stack in _camkes_start routine
Remove deprecated keyword 'trait'.
Remove deprecated 'pointer' IDL type.

This type was initially deprecated because it makes very little sense to pass
an uninterpreted pointer across an RPC interface. There are no outstanding uses
of it that I am aware of. The type is now superceded by the C-specific type,
'uintptr_t'.
Remove deprecated type 'smallstring'.

This type has long been superceded by the type 'string'. I believe the naming
of this type originally was only to avoid a hardcoded 'string' type in the
CORBA IDL parser. This is no longer an issue and 'string' is fully supported.