filtered github search
added developers to front page
stylized search results better
Merge branch 'finalstuff'
some fixes