feat(corelib): OptionTrait::take

[hudem1]

Takes the value out of the option, leaving a [Option::None] in its place.

Example

#[test]
fn test_option_take() {
    let mut x = Option::Some(2);
    let y = x.take();
    assert_eq!(x, Option::None);
    assert_eq!(y, Option::Some(2));

    let mut x: Option<u32> = Option::None;
    let y = x.take();
    assert_eq!(x, Option::None);
    assert_eq!(y, Option::None);
}

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @hudem1)

---

a discussion (no related file):
@gilbens-starkware for 2nd eye.

---

corelib/src/option.cairo line 597 at r1 (raw file):

    /// assert_eq!(y, Option::None);
    /// ```
    fn take(ref self: Option<T>) -> Option<T>;

@enitrat for doc.

[gilbens-starkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @hudem1)

[gilbens-starkware]

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @hudem1)

[enitrat]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @hudem1)