Gamification for theses and papers
Are there integrated software solutions to support that?

Beeminder integrates with Github or Bitbucket, so if you keep your Latex or Markdown in either of those, you can automatically gamify your writing without having to do any manual data entry.
Beeminder is a commitment tracking service that plots your progress towards your goals, like this:

(image source)
There's also negative reinforcement: if you consistently fail to meet your goal, you &quot;fall off the yellow brick road&quot; and you pay actual money. Beeminder is good at tracking your progress without punishing you for small temporal variations in productivity.
In this context, your goal would be to make a consistent habit of adding to or editing your thesis.
With git integration you can set goals like &quot;N commits per week&quot; and data points are added to your Beeminder graph automatically when you commit.
There's also integration with Draft, if you prefer to count words edited rather than commits.  I haven't used Draft myself, but it looks like you can use it to write in Markdown.