Added a synchronous send.
Merge branch 'master' of github.com:AdaHeads/Alice into krc
Fix a bug in originate and implemented websocket events for responses to originate actions. See the Wiki page for more details.
Wrapped procedure calls in protected type and added pragma Atomic to
appropriate identification variables.
Minor work on the AMI.Trace packaage also included.