github mirror of vrjuggler for testing patches, etc.