Some fixes, ignore png in resources, added android_export

Had some unsaved changes from last commit and added a .gitignore for png files
in the resources directory because they can be recreated from SVG using the
included Inkscape plugin.