added some recently needed options

git-svn-id: http://svn.code.sf.net/p/sumo/code/trunk/sumo@15647 29f149b2-0c63-11e1-8f5c-a347f6a9acd0
debugging; added some recently needed options

git-svn-id: http://svn.code.sf.net/p/sumo/code/trunk/sumo@15648 29f149b2-0c63-11e1-8f5c-a347f6a9acd0
added two recently needed scripts

git-svn-id: http://svn.code.sf.net/p/sumo/code/trunk/sumo@15649 29f149b2-0c63-11e1-8f5c-a347f6a9acd0
trying to patch some issues

git-svn-id: http://svn.code.sf.net/p/sumo/code/trunk/sumo@15650 29f149b2-0c63-11e1-8f5c-a347f6a9acd0
adapting the other tools' names

git-svn-id: http://svn.code.sf.net/p/sumo/code/trunk/sumo@15651 29f149b2-0c63-11e1-8f5c-a347f6a9acd0
patching svn attributes, refs something

git-svn-id: http://svn.code.sf.net/p/sumo/code/trunk/sumo@15652 29f149b2-0c63-11e1-8f5c-a347f6a9acd0
Merge branch 'master' into planet
Merge branch 'planet' of https://github.com/planetsumo/sumo into planet