Create branch
Merge remote-tracking branch 'github/master' into jeffD
Updated PermitJdo.java
Added Add/Delete/Update servlets for Permit
Added allPermits.jsp (wasn't sure if I'm supposed to link from
allCampuses)
Updated web.xml
Merge branch 'jeffD'
Integrate basic permit admin
Integrate basic permit admin in master