updated goal show page with Done! link and fixed formatting of line
added color seperation for completed and incomplete micro goals on goals show page
updated colors on goal show page and display goal
updating proof_show branch