Documenting server
Allow to specify which lua scons should use