Raspberry Pi\'s Raspbian gets new features: File manager\, Thonny Python IDE updates