Add more documentation for developer environment on linux