Renovasi bangunan PG Banjardawa pada tahun 1888