Instructions for profiling and extracting intermediate code at dataLang level

[tanyongkiam]

This issue is about adding instructions, e.g., to developers/, for

1. Profiling a CakeML program (using @sorear 's symbol additions)

2. Extracting intermediate dataLang code from the compiler

This was suggested during a CakeML online meeting by @myreen and @HeikoBecker.