Added programming languages table (proglangs) and updated seeder, model, etc.