Proving the rumors true, Pentax has officially announced the K-01, a mirrorless camera with interchangeable lenses. The body of this…