HP Dragonfly Pro Chromebook: Price, release date, and everything else