Read "user_id" from the OS

We should have two ways to define the "user_id"

• manually defining it in the user settings file
• auto detecting the user_id from OS

If the manual option is given, it should be preferred.