Added Node_push_tail and documentation