Initial commit: state diagram editor