Nomenclature

[Jose E. Marchesi]

I just added the few paragraphs below to HACKING, clarifying how I call
certain things.

I strongly suggest we all use the same nomenclature when referring to
pokeish thingies, or we will soon go nuts, glglgl.

Salud!

+Nomenclature
+------------
+
+We call ``poke`` the program.  When the context may induce confusion
+(since ``poke`` is a pretty common word) then we use ``GNU poke``.
+
+``Poke`` (with upper case ``P``) is the name of the domain-specific
+language implemented by ``poke``.
+
+A ``pickle`` is a Poke source file containing definitions of types,
+variables, functions, etc, that conceptually apply to some definite
+domain.  For example, ``elf.pk`` is a pickle that provides facilities
+to poke ELF object files.  Pickles are not necessarily related to file
+formats: a set of functions to work with bit patterns, for example,
+could be implemented in a pickle ``bitpatterns.pk``.