fix the way we inform rsyntaxtextarea of the current programming language
remove remaining code related to jsyntaxpane
cosmetics
kill some warnings
ask for a confirmation before removing the user
translating in pt_BR.po and trying to get a better doc in the other files
Merge pull request #196 from FredMaranhao/master

translating to pt_BR - 37% done
Fix the user switch functionality (Fix #189)

At least, it seems to work now. Please test and report issues.
Merge branch 'master' of github.com:oster/PLM
Document recent changes
delete everything of the old way to display student progresses
warning--
reorganize a bit the menus
do we still need it?
one way of creating users is enough
Kill the cloud session export feature: git superseeds that
update some dependencies
Allow hot swap of users
Erase deleted user from disk, and make it work locally
automatically switch to the newly created users