Linux Mint gets new theme colors and local network sharing tools