Some tools for live musical performance