fix in result origins analysis

handling the (rare) case when a cycle starts at the first instruction
initial tests for result origins analysis
a bunch of renamings (more meaningful names)
faba.asm package back for asm extensions and tweaks
controlling unchecked warnings
short explanations in readme about code organization
fix in optimizations (was misprint)
changes in data after fix
next steps in readme file