added capstone progress reports

if [ "$extension" != "db" -a "$extension" != "ss" ]; then
    echo -e "Error: invalid file extension. Must have .ss or .db as extension.\n"
    exit 1
fi
Updating develop branch on agora

Merge branch 'develop' of https://github.com/kdana/Capstone into develop