Updated the README and Practical guide so that they have instructions

[barrelfish] / doc / 018-Practical-guide / cleanTex.awk

#!/usr/bin/gawk -f

BEGIN {
    pr = 0
}

/Generating Documentation/ {
    pr = 0
}

/Barrelfish Overview/ {
    pr = 1
}

{
    if (pr ==1) {
        print
    }
}