A miniaturized 2.45 GHz ECR ion source at Peking University