Add endpoint GET /refreshjwt
Allows to refresh a jwt token; test included. This depends on !13 (merged) and !14 (merged); those should be merged first (then we probably also get the real diff here, which is quite small). Was already rebased on dev for testing.