Android: splash screen: remove unnecessary padding from 9-patch images
createit.sh: minor fix
core, major rework of the bar

Now the bar can be hidden / shown with a new bottom left button called
'bar button'.
This button cannot be changed in terms of position or size and the
bar may appear above the activity. We assume it is not an issue
because it can be hidden. The activity must take care not to put
relevant content under the bar button. On the other hand, the bar
buttons may be over relevant content even if an activity may try to
avoid it.

Now instead of specifying 'previous|next' in the content of the bar we
only specify 'level' which put the 3 buttons (previous, next and the level).

This patch adjusts all the activities to make them play nice with the new
bar.
bar, fix download manager icon
core bar, layout fix
mining, fix nugget click on touch screens
mining, better quality for the gold nugget
Added Hanoi_real activity
Added Hanoi_real activity
Added Hanoi_real activity
Updated the copyright headers
Changes after first review by bruno
Update level change and resizing drag problem
Added color highlighting on click and bounce effect
Added color highlighting on the stick when disc is dragged over it
Updated the proper centering of discs on towers
Updated the tower highlighting and text centering
Updated the resetting of discs for level 1, when the user goes out to play other games and comes back to hanoi_real later
Removed the redundant variable 'totalLevels'
Removed highlighting of multiple towers at a time