Now the PaintButton and EraserButton of ElementEdition are in other toolbar.
This toolbar appears when pressed add/paint new item.
Fixed visibility tool bar bug.
Fixed minor bugs and added some comments
Small improvements to the new tool bar.
Added editor-android maven profile.

Fixes #285
Removed build from editor-android profile.
Merge pull request #288 from RotaruDan/editorAndroidProfile

Added editor-android maven profile.
Fixing a problem with bad formed json, after recent changes in libgdx
Merge pull request #289 from jtorrente/fix-nonstandardjson-bloodynathan

Fixing a problem with bad formed json, after recent changes in libgdx
- After adding support for C-style comments in their JSON parser, all '/' in string values *must* be properly quoted
- Fixed a bug when saving polygons generated by tracing borders: JSON serializer chokes on Arrays.asList, and requires such lists to be copied over to ArrayLists instead.
Merge pull request #287 from RotaruDan/PaintView

Paint view
Properties renamed to .props to avoid encoding issues
Fixes single hardcoded .properties reference (in I18N)
Fixes a few bad encodings
Merge pull request #292 from manuel-freire/properties-to-props

Properties to props
Actions separated in two packages: model actions and editor actions
Added EditorAction and ModelActions, and associated controllers
Testing invalid arguments in actions
Added default mechanism to validate arguments
Created InvalidArgumentsException
Modified action constructors
Updated AddRecentGame