A development server for development communities