Case 5: node and parent are red, uncle is black

this is a LLb or RRb conflict we rotate the tree to balance it

Property definitions

trees $ RBTreeMap :: insert_fixup_case5
	# Case 5: node and parent are red, uncle is black
	# this is a LLb or RRb conflict
	# we rotate the tree to balance it
	private fun insert_fixup_case5(node: N) do
		node.parent.is_red = false
		node.grandparent.is_red = true
		if node == node.parent.left then
			rotate_right(node.grandparent.as(not null))
		else
			rotate_left(node.grandparent.as(not null))
		end
	end
lib/trees/rbtree.nit:105,2--116,4