東芝、超小型ノートPC 「Libretto 20」発売