A library that allows the developer really easily to edit a map in Android