Oasis: A high-level/high-performance open source Navier–Stokes solver