simplified theming.jenkins post

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>
added github ribbon to theming.jenkins

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>