add pub-server to .gitignore
fix conversion of API names to Dart identifiers