refactor Space to improve performances a bit

    use set() for finished robots and test containance
    use map() instead of for loop for next_position and save_from_danger
    add attribute 'fast', if True : just next_pos and save_from_danger
chg dot format output

    use set() instead of dict() for already labelized x
    labelize x if necessary