modify table ketersediaan_waktu_dosen add PK