Added navigation links
Merge remote-tracking branch 'origin/dev' into dev
Trying once again to merge with remote.
Added search functionality
Merge branch 'dev' of github.com:copernico-ide/rails_app into dev
Pulling from dev.
Added complete search form, restricted Place deletion to administrator.