Github buttons

Merge latest dev code and then redo github buttons.