Microsoft's Project Solara is an Android OS designed for agents instead of apps