K-theory and universal C*-algebras for local conformal nets