HR grants leave credits

This pull request adds an ability to an HR user to grant leave credits. A bit of authorization is also implemented.