This is a bunch of snippets for android development, which I need barely and so I keep forgetting them.