Added installation verification to AUR search
implemented Set data structure for efficiency
Minor function name changes
Merge branch 'master' of git://github.com/eazar001/aura into eazar001-master
Spruced up the changes that add "[installed]" to `-As`